Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
211	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
212	C o n n e c t i n g G re a t M i n d s Add to Reading List Source URL: www.cin.ufpe.br Language: English - Date: 2011-09-16 07:48:16 Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction
213	Under consideration for publication in Math. Struct. in Comp. Science A Light-Weight Integration of Automated and Interactive Theorem Proving K A R I M K A N S O1† and A N T O N S E T Z E R2‡ {cskarim1 ,A.G.Setzer2 Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2011-02-15 14:22:58
214	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
215	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
216	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system
217	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:38 Logic Mathematics Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Denotational semantics Structure Symbol Generalised Whitehead product
218	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification
219	PDF Document Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Cryptography Public-key cryptography Protocol composition logic Automated theorem proving Cryptographic protocols Substitution Digital signature Communications protocol Transport Layer Security
220	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory

UPDATE